A Change Support Model for Distributed Collaborative Work

Distributed collaborative software development tends to make artifacts and decisions inconsistent and uncertain. We try to solve this problem by providing an information repository to reflect the state of works precisely, by managing the states of artifacts/products made through collaborative work, and the states of decisions made through communications. In this paper, we propose models and a tool to construct the artifact-related part of the information repository, and explain the way to use the repository to resolve inconsistencies caused by concurrent changes of artifacts. We first show the model and the tool to generate the dependency relationships among UML model elements as content of the information repository. Next, we present the model and the method to generate change support workflows from the information repository. These workflows give us the way to efficiently modify the change-related artifacts for each change request. Finally, we define inconsistency patterns that enable us to be aware of the possibility of inconsistency occurrences. By combining this mechanism with version control systems, we can make changes safely. Our models and tool are useful in the maintenance phase to perform changes safely and efficiently.Comment: 10 pages, 13 figures, 4 table

Defining a Software Engineering Process with Cost-effective Security Requirements Implementation

Today, security problems involving computers and software are frequent, widespread, and serious. The number and variety of attacks by persons and malicious software from outside organizations, particularly via the Internet, are increasing rapidly, and the amount and consequences of insider attacks remains serious. Security is not just a question of security functionality; the properties desired must be shown to hold wherever required throughout the secure system. Because security properties are systems properties, security is an omnipresent issue throughout the software lifecycle. This paper describes the existing software development lifecycle with the integration of security engineering process. After that, we will adopt the Information System Environment in the case of the University of Information Technology (UIT). Moreover, this paper describes an Information Security Software Engineering (ISSE) process for discovering and addressing users’ information protection needs based on the case study of UIT’s information System Environment. Finally, the proposed system performs the quantitative risk analysis on the study of UIT Information System Environment

A Lightweight Size Estimation Approach for Embedded System using COSMIC Functional Size Measurement

Functional Size Measurement (FSM) is an important component of a software project that provides information for estimating the effort required to develop the measured software. Although the embedded software is time-consuming to develop, COSMIC FSM can be estimated to get more accurate function size. The traditional Function Point methods are designed to measure only business application domain and are problematic in the real-time domain. As a result, COSMIC Functional Size Measurement (FSM) method is designed to measure both application domains. The design diagrams such as UML, SysML and the well-defined FSM procedure must use to accurately measure the functional size of embedded system. We have already developed the generation model based on SysML metamodel with an example of elevator control system. In this paper, we applied the generation model that is the classification of the instance level of object based on UML metamodel. After that, this paper also showed the mapping rules which mapped between the generation model and COSMIC FSM to estimate the functional size of embedded software with the case study of cooker system. This paper also proposed the light weight generation method of COSMIC FSM by using the generation model

Software Architecture with Accountability and Evolvability

JAIST 21世紀COEシンポジウム2005「検証進化可能電子社会」 = JAIST 21st Century COE Symposium 2005 “Verifiable and Evolvable e-Society”, 開催：2005年3月10日～11日, 開催場所：石川ハイテク交流センターTechnical session 4 <Modelling and Evolution

Constructing a support environment for cooperative works over computer network by integrating software process enactment support and communication support

In this paper, we will propose a model and an environment that facilitate our cooperative works over a computer network by investigating an mechanism that integrates a software process enactment support and a communication support. The goal of our work is to achieve the enhancement of pleasantness of software development environments featured by the following four properties: definiteness of a software design method; independentness of an individual's work environment ; smoothness of communications; portability of one's own computing environment. In section 1, we will show the purpose and the goal of our research, addressing several research issues to be solved. In section 2, we w ill examine the following three issues to make principles and philosophies clear both for defining the model and for constructing the environment. • The role of software architectures in a software design method. • When and under what conditions can communication occur and go well? • What should be described in a software process model? In section 3, we will introduce the state of the progress of the JIZAI project in Ochimizu's laboratory. The aim of the JIZAI project is to construct a support environment for cooperative works over a computer network, especially for software engineering activities. In section 4, we will show a next research plan. 本論文では、ソフトウェア・プロセス実行の支援とコミュニケーションの支援を統合した機構を検討することにより、ネットワークを介した共同作業を容易にするモデルと環境を提案する。我々の研究の目標は、開発方法論の明解性、個人の作業環境の独立性、コミュニケーションの円滑性、計算機環境の携帯性、の四つの特性で特徴づけられる「環境の快適性の向上」である。1章では、解決されるべきいくつかの問題点を指摘しつつ我々の研究の目的と目標を明らかにする。2章では、モデルを定義し、環境を構築するための原則と考え方を明確にするために、以下の三つの問題点を検討する。・ソフトウェア設計方法論におけるソフトウェア・アーキテクチャの役割・コミュニケーションはいつ、どのような条件下で成立し、かつ進行するのか？・ソフトウェア・プロセス・モデルでは何を記述すべきか？3章では、落水研究室で進めている「自在」プロジェクトの進捗状況を紹介する。自在プロジェクトのねらいは、ネットワークを介した共同作業に対する計算機支援環境を、特にソフトウェア・エンジニアリング諸活動を対象にして構築することにある。第4章で今後の研究課題をまとめる。リサーチレポート（北陸先端科学技術大学院大学情報科学研究科

Generating a Workflow for Change Support of UML Documents

In this paper, we propose a method to generate a workflow or the change of UML diagrams. We take model based translation approach to generate dependency relationships between model elements in UML diagrams. In drawing UML diagrams, a modeler or a designer should define various kinds of dependency relationships such as refine and trace, by themselves based on the traceability policy. This work is very error-prone and time consuming especially in a maintenance phase. We propose the meta model of UML to produce dependency relationships among model elements of UML diagrams automatically. We can generate a workflow or change support from the database containing UML diagrams with dependency relationships. We examined the effectiveness of our method. We found several dependency relationships not defined by the examinee.リサーチレポート（北陸先端科学技術大学院大学情報科学研究科

A Theoretical Validation for Empirical Organizational Patterns

Coplien tells us that efficient software development processes have common features. He says that such process patterns or organizational patterns are empirical facts. In this paper, a mathematical theory validates some classes of his organizational patterns. Here we use a stochastic petri-net model to analyze the efficiency of communication in software development processes.リサーチレポート（北陸先端科学技術大学院大学情報科学研究科

A framework of a support environment for cooperative works over distributed computing system based on a decision management

リサーチレポート（北陸先端科学技術大学院大学情報科学研究科

Definition and realization of software accountability

In this paper, we propose the new concept "Software Accountability". Our daily life heavily depends on various kinds of e-society systems. Therefore the system should be designed, implemented, operated and maintained to assure us that e-society systems are dependable and trustworthy. Software accountability is one of such requirements for Trustworthy e-Society. We try to define the concept, software accountability, based on the research results both in Software Engineering field and in Legal Theory. In the paper, we show the definition of software accountability, software accountability functions, software accountability tree, software accountability module in turn and then a realization mechanism of software accountability functions, presenting the architecture to combine the software accountability module with the existing information system. We also show the result of a case study by developing the course management system with software accountability functions that shows the feasibility of our approach.リサーチレポート（北陸先端科学技術大学院大学情報科学研究科

Process Model Combining the Artifact Process with Communication Path

In this paper, we propose a process model combining the RUP (Rational Unified Process) and orgnizational pattern by J. Coplien. In the software development, not only obeying the process but also communicating with other developers are important. Although the population of RUP, there aren't any discussions on communication. By talking about the communication path, the orgnizaitonal pattern by J. Coplien became a family of patterns that can be used to shape a new orgnization. In order to support the communication in software development, we will combine the RUP and orgnizaitonal pattern by J. Coplien.リサーチレポート（北陸先端科学技術大学院大学情報科学研究科